Merge branch 'ci-error-report' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Sun, 12 Apr 2020 13:58:55 +0000 (13:58 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Sun, 12 Apr 2020 13:58:55 +0000 (13:58 +0000)
commit12990b3520cb148d6a24f322f42240b7a6448d66
tree383e3e089610e752958573be1e71e9e2a28d4da2
parentc31916081f6c4d3c8c6bed6d6c6e8bf9b77c0de2
parent95d807ab6120ecb433f9e0479cf23908d5b5e45e
Merge branch 'ci-error-report' into 'master'

ci: Count 'ERROR' codes as failures

See merge request GNOME/gtk!1674